home *** CD-ROM | disk | FTP | other *** search
/ Complete Linux / Complete Linux.iso / docs / devel / lisp / kcl_tar.z / kcl_tar / lsp / assert.data < prev    next >
Encoding:
Text File  |  1986-07-03  |  2.3 KB  |  87 lines
  1.           
  2. #(
  3. #!
  4. (lisp::in-package 'user::lisp)
  5. #!
  6. (lisp::export '(lisp::check-type lisp::assert lisp::ecase lisp::ccase lisp::typecase lisp::etypecase lisp::ctypecase))
  7. #!
  8. (lisp::in-package 'lisp::system)
  9. (lisp::optimize (lisp::safety 2) (lisp::space 3))
  10. lisp::do
  11. ((lisp::*print-level* 4) (lisp::*print-length* 4))
  12. lisp::typep
  13. lisp::quote
  14. lisp::cerror
  15. ""
  16. "The value of ~:@(~S~), ~:@(~S~), is not ~A."
  17. (lisp::format lisp::*error-output* "Now continuing ...~%")
  18. ((lisp::*print-level* 4) (lisp::*print-length* 4))
  19. ""
  20. ""
  21. "The assertion ~:@(~S~) is failed."
  22. ((lisp::format lisp::*error-output* "Now continuing ...~%"))
  23. lisp::progn
  24. lisp::format
  25. lisp::*error-output*
  26. "Please input the new value for the place ~:@(~S~): "
  27. (lisp::finish-output lisp::*error-output*)
  28. lisp::setf
  29. (lisp::read)
  30. lisp::let
  31. ((lisp::*print-level* 4) (lisp::*print-length* 4))
  32. lisp::error
  33. "The value of ~:@(~S~), ~:@(~S~), is ~
  34.                   ~#[nonsense~;not ~:@(~S~)~;neither ~:@(~S~) nor ~:@(~S~)~
  35.                   ~:;not ~@{~#[~;or ~]~:@(~S~)~^, ~}~]."
  36. lisp::if
  37. lisp::member
  38. lisp::eql
  39. lisp::loop
  40. lisp::when
  41. lisp::return
  42. ((lisp::*print-level* 4) (lisp::*print-length* 4))
  43. ""
  44. "The value of ~:@(~S~), ~:@(~S~), is ~
  45.                              ~#[nonsense~;not ~:@(~S~)~;neither ~
  46.                              ~:@(~S~) nor ~:@(~S~)~
  47.                              ~:;not ~@{~#[~;or ~]~:@(~S~)~^, ~}~]."
  48. (lisp::format lisp::*error-output* "Now continuing ...~%")
  49. lisp::otherwise
  50. system::typecase-error-string
  51. ""
  52. (lisp::format lisp::*error-output* "Now continuing ...~%")
  53. lisp::and
  54. "The value of ~:@(~S~), ~:@(~S~), is ~?~?."
  55. "~#[~;~;~?~;~;~? and ~?~:;~%~@{~#[~;~;and ~]~?~^, ~}~]"
  56. "~:[~[something~;~:;~%~]~;~[~:;, but~%~]~]~
  57.      ~#[~;~;not ~?~;~;neither ~? nor ~?~:;not ~@{~#[~;~;or ~]~?~^, ~}~]"
  58. 0
  59. ("one of none" lisp::nil)
  60. 1
  61. "~:@(~S~)"
  62. 2
  63. "either ~:@(~S~) or ~:@(~S~)"
  64. "one of ~:@(~S~)"
  65. lisp::satisfies
  66. "an object satisfying ~:@(~S~)"
  67. lisp::*
  68. ((lisp::t "anything") (lisp::nil "none") (lisp::null "nil") (lisp::common "an object of a standard data type"))
  69. "~:[a~;an~] ~(~A~)"
  70. "~:[a~;an~] ~:@(~S~)"
  71. (#\A #\I #\U #\E #\O #\a #\i #\u #\e #\o)
  72. lisp::proclaim
  73. lisp::check-type
  74. lisp::assert
  75. system::ask-for-form
  76. lisp::ecase
  77. lisp::ccase
  78. lisp::typecase
  79. lisp::etypecase
  80. lisp::ctypecase
  81. system::typecase-error-strings
  82. system::boin-p
  83. lisp::or
  84. lisp::not
  85. lisp::remove
  86. )
  87.